/* add.c
 *	Simple program to test whether the systemcall interface works.
 *	
 *	Just do a add syscall that adds two values and returns the result.
 *
 */

#include "syscall.h"


int main()
{
  int pid1;

  pid1=Exec("../test/print");
  Print("back to add\n");
//  pid1=Exec("../test/print");
//  Print("back to add again\n");
  Print("\n");

  Halt();
  /* not reached */
}
